5 results
IN MEMORIAM: J. MICHAEL DUNN, 1941–2021
-
- Journal:
- Bulletin of Symbolic Logic / Volume 27 / Issue 4 / December 2021
- Published online by Cambridge University Press:
- 28 February 2022, pp. 519-525
- Print publication:
- December 2021
-
- Article
-
- You have access
- HTML
- Export citation
On the decidability of implicational ticket entailment
-
- Journal:
- The Journal of Symbolic Logic / Volume 78 / Issue 1 / March 2013
- Published online by Cambridge University Press:
- 12 March 2014, pp. 214-236
- Print publication:
- March 2013
-
- Article
- Export citation
RELEVANCE LOGICS AND RELATION ALGEBRAS
-
- Journal:
- The Review of Symbolic Logic / Volume 2 / Issue 1 / March 2009
- Published online by Cambridge University Press:
- 01 March 2009, pp. 102-131
- Print publication:
- March 2009
-
- Article
- Export citation
The Church-Rosser property in symmetric combinatory logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 70 / Issue 2 / June 2005
- Published online by Cambridge University Press:
- 12 March 2014, pp. 536-556
- Print publication:
- June 2005
-
- Article
- Export citation
The Church-Rosser property in dual combinatory logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 68 / Issue 1 / March 2003
- Published online by Cambridge University Press:
- 12 March 2014, pp. 132-152
- Print publication:
- March 2003
-
- Article
- Export citation